Example: Tautology & Logical Equivalence Using Laws